S-Net for multi-memory multicores

Copyright ACM, 2010. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 5th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming: http://doi.acm.org/10.1145/1708046.1708054S-Net is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream processing to structure dynamically evolving networks of communicating asynchronous components. Components themselves are implemented using a conventional language suitable for the application domain. This two-level software architecture maintains a familiar sequential development environment for large parts of an application and offers a high-level declarative approach to component coordination. In this paper we present a conservative language extension for the placement of components and component networks in a multi-memory environment, i.e. architectures that associate individual compute cores or groups thereof with private memories. We describe a novel distributed runtime system layer that complements our existing multithreaded runtime system for shared memory multicores. Particular emphasis is put on efficient management of data communication. Last not least, we present preliminary experimental data

Luminescence Properties of Thin Film Ta2 Zn3 O8 and Mn Doped Ta2 Zn3 O8

Blue luminescence from TaZZn30g and green luminescence from Mn doped TaZZn30g has been observed under low voltage cathodoluminescent excitation, In this article , the luminescence mechanisms of TaZZn30g and Mn doped TaZZn30 g are discussed in detail. The results suggest that the intrinsic blue luminescence of TaZZn30g results from a metal-to-ligand transition, whereas the green luminescence of Mn doped TaZZn30g results from the Mn 4T 1-6A I transition. The suppression of the blue intrinsic luminescence in Mn doped TaZZn30g suggests that efficient energy transfer from the host material to the Mn occurs. This energy transfer phenomenon is also discussed by comparing the photoluminescence excitation spectra of both thin film materials. Finally, the relative efficiency versus voltage and current density is demonstrated and discussed pertaining to field emission device operation

Towards Independent Particle Reconstruction from Cryogenic Transmission Electron Microscopy

Coronary heart disease is the single largest killer of Americans so improved means of detecting risk factors before arterial obstructions appear are expected to lead to a improvement in quality of life with a reduced cost. This paper introduces a new approach to 3-D reconstruction of individual particles based on statistical modeling from a sparse set of 2-D projection images. This paper introduces a new approach to 3-D reconstruction of individual particles based on statistical modeling from a sparse set of 2-D projection images. The method is in contrast to the current state of practice where reconstruction is performed via signal processing or Bayesian methods that use averaged images acquired from an ensemble of particles. As such, this new approach has its impetus in use for novel diagnostic tests such as LDL and HDL particle shape characterization. The approach is also expected to have uses in areas such as quality assurance for drug delivery nano-technologies and for general proteomic studies. The individual particle reconstruction algorithm is based on a hidden Markov model. Higher order Markov chain statistics, which are generated from the a priori model of the target of interest, can be derived from traditional methods such as single particle reconstruction and/or the underlying physical properties of the particle. By placing the reconstruction voxel space at a 45° angle to the projection image, 4-passes of the HMM processing can be performed from a single image. Reconstruction results from a simple model and a single projection image resulted in better than 98% reconstruction accuracy as compared to the original target

Structures of smooth muscle myosin and heavy meromyosin in the folded, shutdown state

Remodelling of the contractile apparatus within smooth muscle cells is an essential process that allows effective contractile activity over a wide range of cell lengths. The thick filaments may be redistributed via depolymerisation into inactive myosin monomers that have been detected in vitro, in which the long tail has a folded conformation. The structure of this folded molecule has been controversial. Using negative stain electron microscopy of individual folded molecules from turkey gizzard we show they are more compact than previously described, with heads and the three segments of the folded tail closely packed. Smooth muscle heavy meromyosin (HMM), which lacks two-thirds of the tail, closely resembles the equivalent parts of whole myosin. Image processing reveals a characteristic head region morphology for both HMM and myosin whose features are identifiable by comparison with less compact molecules. The two heads associate asymmetrically: the tip of one motor domain touches the base of the other, resembling the blocked and free heads of this HMM when it forms 2-D crystals on lipid. The tail of HMM lies between the heads, contacting the blocked motor domain, unlike in the 2-D crystal. The tail of the intact myosin is bent sharply and consistently at two positions close to residues 1175 and 1535. The first bend position correlates with a skip in the coiled coil sequence, the second does not. The first segment runs between the heads from the head-tail junction. Unexpectedly, the other segments associate only with the blocked head rather than both heads, such that the second bend lies at a specific position near the C-lobe of the blocked head regulatory light chain. Quantitative analysis of tail flexibility shows that the single coiled coil of HMM has an apparent Young’s modulus of about 0.5 GPa. The folded tail of the intact molecule is less flexible indicating interactions between the segments. The folded tail does not modify the compact head arrangement but stabilises it, indicating a structural mechanism for the very low ATPase activity of the folded molecule

Molecular Architecture of the Human Mediator–RNA Polymerase II–TFIIF Assembly

The authors perform a cryo-EM study of the 1.9 MDa human Mediator-RNA polymerase II-TFIIF assembly, which reveals the structural organization of the human transcription initiation apparatus

A Logic with Reverse Modalities for History-preserving Bisimulations

We introduce event identifier logic (EIL) which extends Hennessy-Milner logic by the addition of (1) reverse as well as forward modalities, and (2) identifiers to keep track of events. We show that this logic corresponds to hereditary history-preserving (HH) bisimulation equivalence within a particular true-concurrency model, namely stable configuration structures. We furthermore show how natural sublogics of EIL correspond to coarser equivalences. In particular we provide logical characterisations of weak history-preserving (WH) and history-preserving (H) bisimulation. Logics corresponding to HH and H bisimulation have been given previously, but not to WH bisimulation (when autoconcurrency is allowed), as far as we are aware. We also present characteristic formulas which characterise individual structures with respect to history-preserving equivalences.Comment: In Proceedings EXPRESS 2011, arXiv:1108.407

Automata for true concurrency properties

We present an automata-theoretic framework for the model checking of true concurrency properties. These are specified in a fixpoint logic, corresponding to history-preserving bisimilarity, capable of describing events in computations and their dependencies. The models of the logic are event structures or any formalism which can be given a causal semantics, like Petri nets. Given a formula and an event structure satisfying suitable regularity conditions we show how to construct a parity tree automaton whose language is non-empty if and only if the event structure satisfies the formula. The automaton, due to the nature of event structure models, is usually infinite. We discuss how it can be quotiented to an equivalent finite automaton, where emptiness can be checked effectively. In order to show the applicability of the approach, we discuss how it instantiates to finite safe Petri nets. As a proof of concept we provide a model checking tool implementing the technique

MultiFit: a web server for fitting multiple protein structures into their electron microscopy density map

Advances in electron microscopy (EM) allow for structure determination of large biological assemblies at increasingly higher resolutions. A key step in this process is fitting multiple component structures into an EM-derived density map of their assembly. Here, we describe a web server for this task. The server takes as input a set of protein structures in the PDB format and an EM density map in the MRC format. The output is an ensemble of models ranked by their quality of fit to the density map. The models can be viewed online or downloaded from the website. The service is available at; http://salilab.org/multifit/ and http://bioinfo3d.cs.tau.ac.il/

Consistency and Standardization of Color in Medical Imaging: a Consensus Report

This article summarizes the consensus reached at the Summit on Color in Medical Imaging held at the Food and Drug Administration (FDA) on May 8–9, 2013, co-sponsored by the FDA and ICC (International Color Consortium). The purpose of the meeting was to gather information on how color is currently handled by medical imaging systems to identify areas where there is a need for improvement, to define objective requirements, and to facilitate consensus development of best practices. Participants were asked to identify areas of concern and unmet needs. This summary documents the topics that were discussed at the meeting and recommendations that were made by the participants. Key areas identified where improvements in color would provide immediate tangible benefits were those of digital microscopy, telemedicine, medical photography (particularly ophthalmic and dental photography), and display calibration. Work in these and other related areas has been started within several professional groups, including the creation of the ICC Medical Imaging Working Group